Section: New Results

Highlights of the Year

• Véronique Cortier was one of the two FLoC plenary speakers during the Vienna Summer of Logic [31] .

• Steve Kremer and Robert Künnemann got a paper accepted at the 35th IEEE symposium on Security and Privacy [45] .

• The ANR project SEQUOIA has been accepted.

Best Papers Awards :

[43] SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models in Software Security and Reliability (SERE).

E. Fourneret, J. Cantenot, F. Bouquet, B. Legeard, J. Botella.



[47] A Maximum Variance Approach for Graph Anonymization in The 7th International Symposium on Foundations & Practice of Security FPS’2014.

H. H. Nguyen, A. Imine, M. Rusinowitch.